define platform linux
define machine  32bit
